Optimal. Leaf size=255 \[ -\frac{4 d^2 (c+d x) \text{PolyLog}\left (2,-e^{e+f x}\right )}{a^2 f^3}+\frac{4 d^3 \text{PolyLog}\left (3,-e^{e+f x}\right )}{a^2 f^4}-\frac{2 d^2 (c+d x) \tanh \left (\frac{e}{2}+\frac{f x}{2}\right )}{a^2 f^3}-\frac{2 d (c+d x)^2 \log \left (e^{e+f x}+1\right )}{a^2 f^2}+\frac{d (c+d x)^2 \text{sech}^2\left (\frac{e}{2}+\frac{f x}{2}\right )}{2 a^2 f^2}+\frac{(c+d x)^3 \tanh \left (\frac{e}{2}+\frac{f x}{2}\right )}{3 a^2 f}+\frac{(c+d x)^3 \tanh \left (\frac{e}{2}+\frac{f x}{2}\right ) \text{sech}^2\left (\frac{e}{2}+\frac{f x}{2}\right )}{6 a^2 f}+\frac{(c+d x)^3}{3 a^2 f}+\frac{4 d^3 \log \left (\cosh \left (\frac{e}{2}+\frac{f x}{2}\right )\right )}{a^2 f^4} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.363557, antiderivative size = 255, normalized size of antiderivative = 1., number of steps used = 10, number of rules used = 9, integrand size = 20, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.45, Rules used = {3318, 4186, 4184, 3475, 3718, 2190, 2531, 2282, 6589} \[ -\frac{4 d^2 (c+d x) \text{PolyLog}\left (2,-e^{e+f x}\right )}{a^2 f^3}+\frac{4 d^3 \text{PolyLog}\left (3,-e^{e+f x}\right )}{a^2 f^4}-\frac{2 d^2 (c+d x) \tanh \left (\frac{e}{2}+\frac{f x}{2}\right )}{a^2 f^3}-\frac{2 d (c+d x)^2 \log \left (e^{e+f x}+1\right )}{a^2 f^2}+\frac{d (c+d x)^2 \text{sech}^2\left (\frac{e}{2}+\frac{f x}{2}\right )}{2 a^2 f^2}+\frac{(c+d x)^3 \tanh \left (\frac{e}{2}+\frac{f x}{2}\right )}{3 a^2 f}+\frac{(c+d x)^3 \tanh \left (\frac{e}{2}+\frac{f x}{2}\right ) \text{sech}^2\left (\frac{e}{2}+\frac{f x}{2}\right )}{6 a^2 f}+\frac{(c+d x)^3}{3 a^2 f}+\frac{4 d^3 \log \left (\cosh \left (\frac{e}{2}+\frac{f x}{2}\right )\right )}{a^2 f^4} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3318
Rule 4186
Rule 4184
Rule 3475
Rule 3718
Rule 2190
Rule 2531
Rule 2282
Rule 6589
Rubi steps
\begin{align*} \int \frac{(c+d x)^3}{(a+a \cosh (e+f x))^2} \, dx &=\frac{\int (c+d x)^3 \csc ^4\left (\frac{1}{2} (i e+\pi )+\frac{i f x}{2}\right ) \, dx}{4 a^2}\\ &=\frac{d (c+d x)^2 \text{sech}^2\left (\frac{e}{2}+\frac{f x}{2}\right )}{2 a^2 f^2}+\frac{(c+d x)^3 \text{sech}^2\left (\frac{e}{2}+\frac{f x}{2}\right ) \tanh \left (\frac{e}{2}+\frac{f x}{2}\right )}{6 a^2 f}+\frac{\int (c+d x)^3 \text{sech}^2\left (\frac{e}{2}+\frac{f x}{2}\right ) \, dx}{6 a^2}-\frac{d^2 \int (c+d x) \text{sech}^2\left (\frac{e}{2}+\frac{f x}{2}\right ) \, dx}{a^2 f^2}\\ &=\frac{d (c+d x)^2 \text{sech}^2\left (\frac{e}{2}+\frac{f x}{2}\right )}{2 a^2 f^2}-\frac{2 d^2 (c+d x) \tanh \left (\frac{e}{2}+\frac{f x}{2}\right )}{a^2 f^3}+\frac{(c+d x)^3 \tanh \left (\frac{e}{2}+\frac{f x}{2}\right )}{3 a^2 f}+\frac{(c+d x)^3 \text{sech}^2\left (\frac{e}{2}+\frac{f x}{2}\right ) \tanh \left (\frac{e}{2}+\frac{f x}{2}\right )}{6 a^2 f}+\frac{\left (2 d^3\right ) \int \tanh \left (\frac{e}{2}+\frac{f x}{2}\right ) \, dx}{a^2 f^3}-\frac{d \int (c+d x)^2 \tanh \left (\frac{e}{2}+\frac{f x}{2}\right ) \, dx}{a^2 f}\\ &=\frac{(c+d x)^3}{3 a^2 f}+\frac{4 d^3 \log \left (\cosh \left (\frac{e}{2}+\frac{f x}{2}\right )\right )}{a^2 f^4}+\frac{d (c+d x)^2 \text{sech}^2\left (\frac{e}{2}+\frac{f x}{2}\right )}{2 a^2 f^2}-\frac{2 d^2 (c+d x) \tanh \left (\frac{e}{2}+\frac{f x}{2}\right )}{a^2 f^3}+\frac{(c+d x)^3 \tanh \left (\frac{e}{2}+\frac{f x}{2}\right )}{3 a^2 f}+\frac{(c+d x)^3 \text{sech}^2\left (\frac{e}{2}+\frac{f x}{2}\right ) \tanh \left (\frac{e}{2}+\frac{f x}{2}\right )}{6 a^2 f}-\frac{(2 d) \int \frac{e^{2 \left (\frac{e}{2}+\frac{f x}{2}\right )} (c+d x)^2}{1+e^{2 \left (\frac{e}{2}+\frac{f x}{2}\right )}} \, dx}{a^2 f}\\ &=\frac{(c+d x)^3}{3 a^2 f}-\frac{2 d (c+d x)^2 \log \left (1+e^{e+f x}\right )}{a^2 f^2}+\frac{4 d^3 \log \left (\cosh \left (\frac{e}{2}+\frac{f x}{2}\right )\right )}{a^2 f^4}+\frac{d (c+d x)^2 \text{sech}^2\left (\frac{e}{2}+\frac{f x}{2}\right )}{2 a^2 f^2}-\frac{2 d^2 (c+d x) \tanh \left (\frac{e}{2}+\frac{f x}{2}\right )}{a^2 f^3}+\frac{(c+d x)^3 \tanh \left (\frac{e}{2}+\frac{f x}{2}\right )}{3 a^2 f}+\frac{(c+d x)^3 \text{sech}^2\left (\frac{e}{2}+\frac{f x}{2}\right ) \tanh \left (\frac{e}{2}+\frac{f x}{2}\right )}{6 a^2 f}+\frac{\left (4 d^2\right ) \int (c+d x) \log \left (1+e^{2 \left (\frac{e}{2}+\frac{f x}{2}\right )}\right ) \, dx}{a^2 f^2}\\ &=\frac{(c+d x)^3}{3 a^2 f}-\frac{2 d (c+d x)^2 \log \left (1+e^{e+f x}\right )}{a^2 f^2}+\frac{4 d^3 \log \left (\cosh \left (\frac{e}{2}+\frac{f x}{2}\right )\right )}{a^2 f^4}-\frac{4 d^2 (c+d x) \text{Li}_2\left (-e^{e+f x}\right )}{a^2 f^3}+\frac{d (c+d x)^2 \text{sech}^2\left (\frac{e}{2}+\frac{f x}{2}\right )}{2 a^2 f^2}-\frac{2 d^2 (c+d x) \tanh \left (\frac{e}{2}+\frac{f x}{2}\right )}{a^2 f^3}+\frac{(c+d x)^3 \tanh \left (\frac{e}{2}+\frac{f x}{2}\right )}{3 a^2 f}+\frac{(c+d x)^3 \text{sech}^2\left (\frac{e}{2}+\frac{f x}{2}\right ) \tanh \left (\frac{e}{2}+\frac{f x}{2}\right )}{6 a^2 f}+\frac{\left (4 d^3\right ) \int \text{Li}_2\left (-e^{2 \left (\frac{e}{2}+\frac{f x}{2}\right )}\right ) \, dx}{a^2 f^3}\\ &=\frac{(c+d x)^3}{3 a^2 f}-\frac{2 d (c+d x)^2 \log \left (1+e^{e+f x}\right )}{a^2 f^2}+\frac{4 d^3 \log \left (\cosh \left (\frac{e}{2}+\frac{f x}{2}\right )\right )}{a^2 f^4}-\frac{4 d^2 (c+d x) \text{Li}_2\left (-e^{e+f x}\right )}{a^2 f^3}+\frac{d (c+d x)^2 \text{sech}^2\left (\frac{e}{2}+\frac{f x}{2}\right )}{2 a^2 f^2}-\frac{2 d^2 (c+d x) \tanh \left (\frac{e}{2}+\frac{f x}{2}\right )}{a^2 f^3}+\frac{(c+d x)^3 \tanh \left (\frac{e}{2}+\frac{f x}{2}\right )}{3 a^2 f}+\frac{(c+d x)^3 \text{sech}^2\left (\frac{e}{2}+\frac{f x}{2}\right ) \tanh \left (\frac{e}{2}+\frac{f x}{2}\right )}{6 a^2 f}+\frac{\left (4 d^3\right ) \operatorname{Subst}\left (\int \frac{\text{Li}_2(-x)}{x} \, dx,x,e^{2 \left (\frac{e}{2}+\frac{f x}{2}\right )}\right )}{a^2 f^4}\\ &=\frac{(c+d x)^3}{3 a^2 f}-\frac{2 d (c+d x)^2 \log \left (1+e^{e+f x}\right )}{a^2 f^2}+\frac{4 d^3 \log \left (\cosh \left (\frac{e}{2}+\frac{f x}{2}\right )\right )}{a^2 f^4}-\frac{4 d^2 (c+d x) \text{Li}_2\left (-e^{e+f x}\right )}{a^2 f^3}+\frac{4 d^3 \text{Li}_3\left (-e^{e+f x}\right )}{a^2 f^4}+\frac{d (c+d x)^2 \text{sech}^2\left (\frac{e}{2}+\frac{f x}{2}\right )}{2 a^2 f^2}-\frac{2 d^2 (c+d x) \tanh \left (\frac{e}{2}+\frac{f x}{2}\right )}{a^2 f^3}+\frac{(c+d x)^3 \tanh \left (\frac{e}{2}+\frac{f x}{2}\right )}{3 a^2 f}+\frac{(c+d x)^3 \text{sech}^2\left (\frac{e}{2}+\frac{f x}{2}\right ) \tanh \left (\frac{e}{2}+\frac{f x}{2}\right )}{6 a^2 f}\\ \end{align*}
Mathematica [A] time = 3.43358, size = 462, normalized size = 1.81 \[ \frac{\cosh \left (\frac{1}{2} (e+f x)\right ) \left (\text{sech}\left (\frac{e}{2}\right ) (c+d x) \left (c^2 f^2 \sinh \left (e+\frac{3 f x}{2}\right )+3 c^2 f^2 \sinh \left (\frac{f x}{2}\right )+2 c d f^2 x \sinh \left (e+\frac{3 f x}{2}\right )+3 d f (c+d x) \cosh \left (e+\frac{f x}{2}\right )+6 c d f^2 x \sinh \left (\frac{f x}{2}\right )+3 d f (c+d x) \cosh \left (\frac{f x}{2}\right )+d^2 f^2 x^2 \sinh \left (e+\frac{3 f x}{2}\right )+6 d^2 \sinh \left (e+\frac{f x}{2}\right )-6 d^2 \sinh \left (e+\frac{3 f x}{2}\right )+3 d^2 f^2 x^2 \sinh \left (\frac{f x}{2}\right )-12 d^2 \sinh \left (\frac{f x}{2}\right )\right )-\frac{8 d \cosh ^3\left (\frac{1}{2} (e+f x)\right ) \left (-6 c d (\sinh (e)+\cosh (e)+1) \text{PolyLog}(2,\sinh (e+f x)-\cosh (e+f x))-\frac{6 d^2 (\sinh (e)+\cosh (e)+1) (f x \text{PolyLog}(2,\sinh (e+f x)-\cosh (e+f x))+\text{PolyLog}(3,\sinh (e+f x)-\cosh (e+f x)))}{f}-\frac{3 \left (c^2 f^2-2 d^2\right ) (\sinh (e)+\cosh (e)+1) (f x-\log (\sinh (e+f x)+\cosh (e+f x)+1))}{f}+3 c^2 f^2 x+6 c d f x (\sinh (e)+\cosh (e)+1) \log (-\sinh (e+f x)+\cosh (e+f x)+1)+3 c d f^2 x^2+3 d^2 f x^2 (\sinh (e)+\cosh (e)+1) \log (-\sinh (e+f x)+\cosh (e+f x)+1)+d^2 f^2 x^3-6 d^2 x\right )}{\sinh (e)+\cosh (e)+1}\right )}{3 a^2 f^3 (\cosh (e+f x)+1)^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.116, size = 600, normalized size = 2.4 \begin{align*} -{\frac{6\,{f}^{2}{d}^{3}{x}^{3}{{\rm e}^{fx+e}}+18\,{f}^{2}c{d}^{2}{x}^{2}{{\rm e}^{fx+e}}+2\,{d}^{3}{f}^{2}{x}^{3}-6\,{d}^{3}f{x}^{2}{{\rm e}^{2\,fx+2\,e}}+18\,{f}^{2}{c}^{2}dx{{\rm e}^{fx+e}}+6\,c{d}^{2}{f}^{2}{x}^{2}-12\,c{d}^{2}fx{{\rm e}^{2\,fx+2\,e}}-6\,f{d}^{3}{x}^{2}{{\rm e}^{fx+e}}+6\,{f}^{2}{c}^{3}{{\rm e}^{fx+e}}+6\,{c}^{2}d{f}^{2}x-6\,{c}^{2}df{{\rm e}^{2\,fx+2\,e}}-12\,fc{d}^{2}x{{\rm e}^{fx+e}}-12\,{d}^{3}x{{\rm e}^{2\,fx+2\,e}}+2\,{c}^{3}{f}^{2}-6\,f{c}^{2}d{{\rm e}^{fx+e}}-12\,c{d}^{2}{{\rm e}^{2\,fx+2\,e}}-24\,{d}^{3}x{{\rm e}^{fx+e}}-24\,c{d}^{2}{{\rm e}^{fx+e}}-12\,{d}^{3}x-12\,c{d}^{2}}{3\,{a}^{2}{f}^{3} \left ({{\rm e}^{fx+e}}+1 \right ) ^{3}}}-2\,{\frac{{d}^{3}{e}^{2}x}{{a}^{2}{f}^{3}}}+2\,{\frac{c{d}^{2}{x}^{2}}{f{a}^{2}}}+2\,{\frac{c{d}^{2}{e}^{2}}{{a}^{2}{f}^{3}}}-2\,{\frac{{d}^{3}\ln \left ({{\rm e}^{fx+e}}+1 \right ){x}^{2}}{{a}^{2}{f}^{2}}}-4\,{\frac{{d}^{3}{\it polylog} \left ( 2,-{{\rm e}^{fx+e}} \right ) x}{{a}^{2}{f}^{3}}}-{\frac{4\,{d}^{3}{e}^{3}}{3\,{a}^{2}{f}^{4}}}+4\,{\frac{{d}^{3}{\it polylog} \left ( 3,-{{\rm e}^{fx+e}} \right ) }{{a}^{2}{f}^{4}}}+4\,{\frac{{d}^{3}\ln \left ({{\rm e}^{fx+e}}+1 \right ) }{{a}^{2}{f}^{4}}}-4\,{\frac{{d}^{3}\ln \left ({{\rm e}^{fx+e}} \right ) }{{a}^{2}{f}^{4}}}-4\,{\frac{c{d}^{2}{\it polylog} \left ( 2,-{{\rm e}^{fx+e}} \right ) }{{a}^{2}{f}^{3}}}+4\,{\frac{c{d}^{2}ex}{{a}^{2}{f}^{2}}}+{\frac{2\,{d}^{3}{x}^{3}}{3\,f{a}^{2}}}-2\,{\frac{{c}^{2}d\ln \left ({{\rm e}^{fx+e}}+1 \right ) }{{a}^{2}{f}^{2}}}+2\,{\frac{{c}^{2}d\ln \left ({{\rm e}^{fx+e}} \right ) }{{a}^{2}{f}^{2}}}+2\,{\frac{{d}^{3}{e}^{2}\ln \left ({{\rm e}^{fx+e}} \right ) }{{a}^{2}{f}^{4}}}-4\,{\frac{{d}^{2}\ln \left ({{\rm e}^{fx+e}}+1 \right ) cx}{{a}^{2}{f}^{2}}}-4\,{\frac{c{d}^{2}e\ln \left ({{\rm e}^{fx+e}} \right ) }{{a}^{2}{f}^{3}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.89542, size = 824, normalized size = 3.23 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [C] time = 2.32742, size = 4103, normalized size = 16.09 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \frac{\int \frac{c^{3}}{\cosh ^{2}{\left (e + f x \right )} + 2 \cosh{\left (e + f x \right )} + 1}\, dx + \int \frac{d^{3} x^{3}}{\cosh ^{2}{\left (e + f x \right )} + 2 \cosh{\left (e + f x \right )} + 1}\, dx + \int \frac{3 c d^{2} x^{2}}{\cosh ^{2}{\left (e + f x \right )} + 2 \cosh{\left (e + f x \right )} + 1}\, dx + \int \frac{3 c^{2} d x}{\cosh ^{2}{\left (e + f x \right )} + 2 \cosh{\left (e + f x \right )} + 1}\, dx}{a^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{{\left (d x + c\right )}^{3}}{{\left (a \cosh \left (f x + e\right ) + a\right )}^{2}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]